/******************************************************************************
* This file is part of is32p218 platform,
* Copyright (c) 2009 HangZhou InfoStrong CO.,LTD. All rights reserved.
* This software may only be used under the terms of a valid, current,
* end user license from InfoStrong.
* Nothing else gives you the right to use this software.   
*
* Name:   os_glb.h
* Desc:   OS global header file
* Author: Jerry
* Date:   2009-10-19
* Note:   
* History:
*
******************************************************************************/
#include "isOS.h"

#ifndef __OS_GLB_H__
#define __OS_GLB_H__

#ifdef __cplusplus
extern "C" {
#endif
/*-----------------------------------------------------------
 * MACROS AND DEFINITIONS
 *----------------------------------------------------------*/
#define  isOS_VERSION_NUMBER 		"V2.3.0"

#define  OS_TASK_START_ON_CREATION     1


           //-- ver 2.x
#define  OS_ID_TASK              0x47ABCF69
#define  OS_ID_SEMAPHORE         0x6FA173EB
#define  OS_ID_FLG               0x5E224F25
#define  OS_ID_QUE               0x8C8A6C89
#define  OS_ID_FSMEMORYPOOL      0x26B7CE8B
#define  OS_ID_MUTEX             0x17129E45
#define  OS_ID_RENDEZVOUS        0x74289EBD


#define  OS_WAIT_INFINITE        0xFFFFFFFF
#define  TM_WAIT_FOREVER		 OS_WAIT_INFINITE
#define  TM_POLLING			 	0			//-- Don't modify this value !!!!!!!!!!


void isOS_Init( void );
void isOS_Start(void);
void isOS_SchedulerEna( isOS_S32 sw );
isOS_S8 *isOS_VersionGet( void );

#ifdef __cplusplus
}
#endif

#endif /* __OS_GLB_H__ End */




